/* test-file2.c
 */

#include "syscall.h"

int
main ()
{
  char *filename = "foothesecond.txt";
  char *content = "Ceci est un second test\n";
  char buffer[128];

  OpenFileId fid; 
  Create(filename);
  fid = Open(filename);
  Write(content,18,fid);
  Close(fid);

  /* not reached */
    return 1;
}
/* This is a strange comment */
